по модулю
m, такое число
g, что положительное наименьшее число
k, для которого разность
gk - 1 делится на
m (
gk сравнимо с 1 по модулю
m)
, совпадает c φ(
m), где φ(
m) - число натуральных чисел, меньших
m и взаимно простых с
m. Например, при
m = 7 П. к. по модулю 7 является число 3. Действительно φ(7) = 6; числа 3
1 - 1 = 2, 3
2 - 1 = 8, 3
3 - 1 = 26, 3
4 - 1 = 80, 3
5 - 1 = 242 не делятся на 7, лишь 3
6 - 1
= 728 делится на 7. П. к. существуют, когда
m = 2,
m = 4,
m = рα, m = 2
pα (где
р - простое нечётное число, α
- целое ≥1), а для других модулей их нет. Число П. к. в этих случаях равно
φ[φ(m)] (числа, разность которых кратна
m, не считаются за различные). И. М.
Виноградов в 1926 установил, что в интервале (1, 2
2klnp) найдётся П. к. по модулю
р, где р - простое нечётное число,
k - число различных простых делителей числа
р - 1. См. также
Чисел теория, Индексы в теории чисел.